121. Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
پدیدآورنده : Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3223
122. Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
پدیدآورنده : Mark Aagaard, John Harrison )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1869
123. Theorem proving in higher order logics : 9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 : proceedings
پدیدآورنده : J. von Wright, J. Grundy, J. Harrison )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1125
124. Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001 : proceedings
پدیدآورنده : Richard J. Boulton, Paul B. Jackson )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2152
125. Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
پدیدآورنده : David Basin, Burkhart Wolff )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2758
126. Theorem proving with analytic tableaux and related methods :
پدیدآورنده : Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
127. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده : P. Miglioli ... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
128. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
پدیدآورنده : Henk Barendregt, Tobias Nipkow, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806
129. Types for proofs and programs :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
130. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
131. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
132. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
پدیدآورنده : Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996
133. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
134. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
135. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
136. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
137. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158
138. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
139. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
140. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
پدیدآورنده : edited by W. Bibel and R. Kowalski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
